Two Criteria for Nonsimplicity of a Group Possessing a Strongly Embedded Subgroup and a Finite Involution

A proper subgroup H of a group G is said to be strongly embedded if 2 (H) and 2(HH ^g) (for all ). An involution i of G is said to be finite if (for all g G). As is known, the structure of a (locally) finite group possessing a strongly embedded subgroup is determined by the theorems of Burnside and Brauer--Suzuki, provided that the Sylow 2-subgroup contains a unique involution. In this paper, sufficient conditions for the equality m ₂(G)= 1 are established, and two analogs of the Burnside and Brauer—Suzuki theorems for infinite groups G possessing a strongly embedded subgroup and a finite involution are given.     

On Universal Representation of Random Graphs

It is shown that every probability measure on the interval [0, 1] gives rise to a unique infinite random graph g on vertices {v₁, v₂, . . .} and a sequence of random graphs gn on vertices {v₁, . . . , v_n} such that . In particular, for Bernoulli graphs with stable property Q, can be strengthened to: probability space (, F, P), set of infinite graphs G(Q) , F with property Q such that .AMS Subject Classification: 05C80, 05C62.     

Induced product representations of extended Cuntz algebras

Let _H be the extended Cuntz algebra over the Hilbert space H. Since its zero grade part _H⁰ is the C^*-inductive limit of B(H^r), we look for some family of representations on an inductive limit of H^r as r. When such construction is shaped according to the structure of _H⁰, von Neumanns notion of a reference sequence of unit vectors for Hilbert infinite tensor products emerges; after a further Rieffel induction step, a class IPR[H] of representations of _H arises. For any two such representations, we describe explicitly their associated intertwiners. Any two representations in IPR[H] are either disjoint or unitarily equivalent. Actions of the group by translation on sequences of unit vectors are involved, as well as the ideals of .     

Tychonoff expansions by independent families

A method for Tychonoff expansions using independent families is introduced. Using this method we prove that every countable Tychonoff space which admits a partition into infinitely many open-hereditarily irresolvable dense subspaces has a Tychonoff expansion that is -resolvable but not strongly extraresolvable. We also show that, under Luzin's Hypothesis ( ), there exists an -resolvable Tychonoff space of size which is not maximally resolvable.

     

Some noncoercive parabolic equations with lower order terms in divergence form

This paper deals with existence and regularity results for the problem $ \cases{u_t-\mathrm{div}(a(x,t,u )\nabla u)=-\mathrm{div}(u\,E) \qquad in \Omega\times (0,T),\cr u=0 \qquad on \partial \Omega\times (0,T), \cr u (0)= u_0 \qquad in \Omega ,\cr} $ under various assumptions on E and $ u_0 $. The main difculty in studying this problem is due to the presence of the term div(uE), which makes the differential operator non coercive on the "energy space" $ L^2 (0, T; H_0^1 (\Omega)) $.AMS Subject Classification: 35K10, 35K15, 35K65.     

Multi-Faithful Spanning Trees of Infinite Graphs

For an end and a tree T of a graph G we denote respectively by m() and m _T () the maximum numbers of pairwise disjoint rays of G and T belonging to , and we define tm() := min{m _T(): T is a spanning tree of G}. In this paper we give partial answers — affirmative and negative ones — to the general problem of determining if, for a function f mapping every end of G to a cardinal f() such that tm() f() m(), there exists a spanning tree T of G such that m _T () = f() for every end of G.     

Almost Connected Orders

One of the standard axioms for semiorders states that no three-point chain is incomparable to a fourth point. We refer to asymmetric relations satisfying this axiom as almost connected orders or ac-orders. It turns out that any relation lying between two weak orders, one of which covers the other for inclusion, is an ac-order (albeit of a special kind). Every ac-order is bracketed in a natural way by two weak orders, one the maximum in the set of weak orders included in the ac-order, and the other minimal, but not necessarily the minimum, in the set of weak orders that include the ac-order. The family of ac-orders on a finite set with at least five elements is not well graded (in the sense of Doignon and Falmagne, 1997). However, such a family is both upgradable and downgradable, as every nonempty ac-order contains a pair whose deletion defines an ac-order on the same set, and for every ac-order which is not a chain, there is a pair whose addition gives an ac-order.     

Quasi-P*-Maps,P(τ, α, β)-Maps,Exceptional Family of Elements,and Complementarity Problems

Quasi-P_*-maps and P(, , )-maps defined in this paper are two large classes of nonlinear mappings which are broad enough to include P_*-maps as special cases. It is of interest that the class of quasi-P_*-maps also encompasses quasimonotone maps (in particular, pseudomonotone maps) as special cases. Under a strict feasibility condition, it is shown that the nonlinear complementarity problem has a solution if the function is a nonlinear quasi-P_*-map or P(, , )-map. This result generalizes a classical Karamardian existence theorem and a recent result concerning quasimonotone maps established by Hadjisawas and Schaible, but restricted to complementarity problems. A new existence result under an exceptional regularity condition is also established. Our method is based on the concept of exceptional family of elements for a continuous function, which is a powerful tool for investigating the solvability of complementarity problems.     

Representations of 2-Groups by Polynomials

It is known that any finite p-group can be represented by polynomials. However, how to represent p-groups and how to classify p-groups up to isomorphism are interesting and open questions. In this article, we investigate the 2-groups of order 8, and represent the dihedral group D_2n, the generalized quaternion group Q_2n, and the infinite dihedral group D.2000 Mathematics Subject Classification: 20C99, 20E99